$\forall$$i$, $j$:$\mathbb{N}$. ($i$ $\ast$ $j$) $\in$ $\mathbb{N}$